
public class InvariantException extends Exception{

	InvariantException(){
		super("Invariant Error");		
	}
	
}
